<?php
function microtime_float() {
	list ( $usec, $sec ) = explode ( " ", microtime () );
	return ($usec + $sec);
}

?>